1. B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
پدیدآورنده : Didier Bert )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، B method )Computer science(,Congresses ، Debugging in computer science
رده :
QA
76
.
L28
Vol
.
1393
